#include <bofcl_wfi.h>

// 死循环函数
__attribute__((noreturn)) void wfi_loop(void) {
	while (1) {
		wfi();
	}
}
